* make-dist: Doc fix for --help re --snapshot (since 201612 change).

diff --git a/make-dist b/make-dist
index 228ab75a775fcc5abc277e42e9999a9d9cb8a2d6..d6edb1fefdc35ffb0f9d7c5d046dbf8859fa4372 100755 (executable)
--- a/make-dist
+++ b/make-dist
@@ -137,7 +137,7 @@ while [ $# -gt 0 ]; do
       echo "  --no-changelog   don't generate the top-level ChangeLog"
       echo "  --no-info                don't include info files"
       echo "  --no-tests       don't include the test/ directory"
-      echo "  --snapshot       same as --clean-up --no-update --tar --no-check"
+      echo "  --snapshot       same as --clean-up --no-update --tar"
       echo "  --tar            make a tar file"
       echo "  --verbose                noisier output"
       echo ""